$\forall$${\it the\_w}$:World, $e$:E. FairFifo $\Rightarrow$ isrcv(kind($e$)) $\Rightarrow$ sender($e$) $\in$ E